Schémas origine-destination des activités de fusion et d’acquisition (F&A) au Canada : une analyse sectorielle des réseaux, 1994-2016

Analyse de dépendances et correction des réseaux de preuve

Les fruits de Curry-Howard. Depuis la mise en évidence via la correspondance de CurryHoward [21], des relations entre démonstrations mathématiques et programmes informatiques, théorie de la programmation et théorie de la démonstration s’enrichissent mutuellement. Parmi les nombreux allers-retours fructueux entre preuves et programmes, la logique linéaire [13] tient une place exemplaire. Girard ...

Réification des schémas de conception : une expérience

Although design patterns are becoming increasingly popular as a way to describe solutions to general design problems, question about their integration in language (reification or language support) stays an open question. In this article, after identifying the implementation problems and presenting some approaches, we show how FLO’s connectors allows for the representation and implementation of ...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Dépistage des maladies cardiovasculaires chez des étudiants de l'Université de Douala et influence des activités physiques et sportives

Introduction: Les maladies cardiovasculaires (MCV) constituent l’une des principales causes de mortalité dans les pays en développement. Le dépistage de ces dernières chez des jeunes est un défi dans la lutte contre leur expansion. Le but de cette étude était de dépister ces maladies au sein d’une population jeunes d’étudiants camerounais. Methodes: Deux mille six cent cinquante-huit étudiants ...

Vers une modélisation et une analyse des exigences spatio-temporelles

Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile systems for example, involve a spatial and temporal dimension, often reserved to geographic IS (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper proposes a framework for ...